sender-glues-triggers-p(es; A; l; tg; ds; conds)
== es-triggers-params-consistent(es;A;source(l);ds;conds)
== & (e:E. (kind(e) = rcv(l,tg))  (valtype(e) r A))
== & glues(es;
== & glues(A;
== & glues((e.sender(e));
== & glues((e.outl((conds(kind(e)).2)((state when e),val(e))));
== & glues(es-triggers(es;source(l);ds;conds);
== & glues(es-in-port(es;l;tg)) 

latex

---

clarification:

sender-glues-triggers-p(es; A; l; tg; ds; conds)
== es-triggers-params-consistent(es;A;source(l);ds;conds)
== & (e:es-E(es). (es-kind(es; e) = rcv(l,tg)  Knd)  (es-valtype(es; e) r A))
== & glues(es;
== & glues(A;
== & glues((e.es-sender(es; e));
== & glues((e.outl((condsKindDeq(es-kind(es; e)).2)(es-state-when(es;e),es-val(es; e))));
== & glues(es-triggers(es;source(l);ds;conds);
== & glues(es-in-port(es;l;tg)) 

latex

Definitions	es-triggers-params-consistent(es;A;i;ds;conds), P & Q, x:A. B(x), E, P  Q, s = t, Knd, rcv(l,tg), valtype(e), glues(es; B; g; f; Ia; Ib), sender(e), x.A(x), outl(x), f(a), t.2, f(x), KindDeq, kind(e), (state when e), val(e), es-triggers(es;i;ds;conds), source(l), es-in-port(es;l;tg)
FDL editor aliases	sender-glues-triggers-p